منابع مشابه
The Lambda Calculus and Operational Semantics
Content Plotkin explains what it means for a calculus to be the calculus of a language (via a Church-Rosser and a Curry-Feys Standardization theorems) and illustrates this point with the by-value and by-name versions of ISWIM and with by-value and by-name versions of the lambda calculus. This part alone lays the foundation for “reduction semantics.” In the second half of the paper, Plotkin pres...
متن کاملOperational Semantics of the Seal Calculus
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurren...
متن کاملOperational semantics for formal tensorial calculus
With a view towards models of quantum computation, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an interpreter/simulator) is provided for this language in the form of a term rewrite systems. The linear-algebraic λ-calculus hereby constructed is linear in a different (yet related) sense to that, say, of the...
متن کاملA distributional approach to Feynman’s operational calculus
In this paper we will construct an operator-valued distribution that will extend Feynman’s operational calculus in the setting of Jefferies and Johnson, 2001–2003, and Johnson–Lapidus–Nielsen, 2014, from the disentangling of holomorphic functions of several variables to the disentangling of Schwartz functions on R. It will be shown that the disentangled operator corresponding to a Schwartz func...
متن کاملAn operational calculus for the Mould operad
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1966
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-26-3-315-325